On Constructing Topological Spaces and Sorgenfrey Line

نویسنده

  • Grzegorz Bancerek
چکیده

We continue Mizar formalization of General Topology according to the book [19] by Engelking. In the article the formalization of Section 1.2 is almost completed. Namely, we formalize theorems on introduction of topologies by bases, neighborhood systems, closed sets, closure operator, and interior operator. The Sorgenfrey line is defined by a basis. It is proved that the weight of it is continuum. Other techniques are used to demonstrate introduction of discrete and anti-discrete topologies.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane

We first provide a modified version of the proof in [3] that the Sorgenfrey line is T1. Here, we prove that it is in fact T2, a stronger result. Next, we prove that all subspaces of R (that is the real line with the usual topology) are Lindelöf. We utilize this result in the proof that the Sorgenfrey line is Lindelöf, which is based on the proof found in [8]. Next, we construct the Sorgenfrey p...

متن کامل

NEW METHODS FOR CONSTRUCTING GENERALIZED GROUPS, TOPOLOGICAL GENERALIZED GROUPS, AND TOP SPACES

‎‎The purpose of this paper is to introduce new methods for constructing generalized groups, generalized topological groups and top spaces. We study some properties of these structures and present some relative concrete examples. Moreover, we obtain generalized groups by using of Hilbert spaces and tangent spaces of Lie groups, separately.

متن کامل

Selected Ordered Space Problems

A generalized ordered space (a GO-space) is a triple (X, τ,<) where (X,<) is a linearly ordered set and τ is a Hausdorff topology on X that has a base of order-convex sets. If τ is the usual open interval topology of the order <, then we say that (X, τ,<) is a linearly ordered topological space (LOTS). Besides the usual real line, probably the most familiar examples of GO-spaces are the Sorgenf...

متن کامل

Domain-Representability of Certain Complete Spaces

In this paper we show that three major classes of topological spaces are domain-representable, i.e., homeomorphic to the space of maximal elements of some domain (=continuous dcpo) with the relative Scott topology. The three classes are: T3 subcompact spaces, strongly α-favorable spaces with a Gδ-diagonal or with a base of countable order, and complete quasi-developable T3-spaces. It follows th...

متن کامل

Draft of Jan 4 , 2013 Choban Operators in Generalized Ordered Spaces

In this paper we investigate generalized ordered (GO) spaces that have a flexible diagonal in the sense of Arhangel’skii [2]. Spaces with a flexible diagonal are generalizations of topological groups and include spaces that are continuously homogeneous, Choban spaces, and rotoid spaces. We prove some some paracompactness and metrization theorems for such spaces and construct examples of general...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007